- аксиома следования
- sequencing axiom
Русско-английский большой базовый словарь. 2014.
аксиома следования
Look at other dictionaries:
релевантная логика — РЕЛЕВАНТНАЯ ЛОГИКА (от англ. relevant существенный) одно из направлений современной неклассической логики, сформировавшееся во второй половине 20 в. Ее возникновение связано с попыткой решить проблему формализации логического следования и … Энциклопедия эпистемологии и философии науки
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
НЕЗАВИСИМОСТЬ СИСТЕМЫ АКСИОМ — свойство системы аксиом данной аксиоматич. теории, состоящее в том, что каждая аксиома является независимой, т. е. не является логическим следствием из множества остальных аксиом этой теории. Система аксиом, обладающая этим свойством, наз.… … Математическая энциклопедия
Независимость системы аксиом — У этого термина существуют и другие значения, см. Независимость (значения). Для улучшения этой статьи желательно?: Викифицировать статью. Найти и оформить в виде сносок ссылки на авторитетные источники, подтверждающие написанное. Независимость… … Википедия
ТОПОЛОГИЧЕСКОЕ ПРОСТРАНСТВО — совокупность двух объектов: множества X, состоящего из элементов произвольной природы, наз. точками данного пространства, и из введенной в это множество топологической структуры, или топологии, все равно открытой или замкнутой (одна переходит в… … Математическая энциклопедия
ВАЛЛ-И — англ. WALL E … Википедия
Информация — Для улучшения этой статьи желательно?: Найти и оформить в виде сносок ссылки на авторитетные источники, подтверждающие написанное. Добавить иллюстрации. Добавить информацию для других стран и реги … Википедия
Информация — (Information) Информация это сведения о чем либо Понятие и виды информации, передача и обработка, поиск и хранение информации Содержание >>>>>>>>>>>> … Энциклопедия инвестора
Геометрия — (греч. geometria, от ge Земля и metreo мерю) раздел математики, изучающий пространственные отношения и формы, а также другие отношений и формы, сходные с пространственными по своей структуре. Происхождение термина «Г. , что… … Большая советская энциклопедия
ВЕРА — один из главных феноменов человеческой жизни. По своей природе В. разделяется на религ. и нерелиг. «Все, что совершается в мире, даже людьми, чуждыми Церкви, совершается верою... весьма многие дела человеческие основаны на вере; и этому не одни… … Православная энциклопедия
ДОКАЗАТЕЛЬСТВО — рассуждение, устанавливающее истинность к. л. утверждения путем приведения др. утверждений, истинность которых уже установлена. В Д. различаются тезис утверждение, которое нужно доказать, и основание, или аргументы, те утверждения, с помощью… … Философская энциклопедия
